Maharam algebras
نویسنده
چکیده
Maharam algebras are complete Boolean algebras carrying a positive continuous submeasure. They were introduced and studied by Maharam in [24] in relation to Von Neumann’s problem on the characterization of measure algebras. The question whether every Maharam algebra is a measure algebra has been the main open problem in this area for around 60 years. It was finally resolved by Talagrand [31] who provided the first example of a Maharam algebra which is not a measure algebra. In this paper we survey some recent work on Maharam algebras in relation to the two conditions proposed by Von Neumann: weak distributivity and the countable chain condition. It turns out that by strengthening either one of these conditions one obtains a ZFC characterization of Maharam algebras. We also present some results on Maharam algebras as forcing notions showing that they share some of the well known properties of measure algebras.
منابع مشابه
Maharam Algebras and Cohen Reals
We show that the product of any two nonatomic Maharam algebras adds a Cohen real. As a corollary of this and a result of Shelah [14] we obtain that the product of any two nonatomic ccc Souslin forcing notions adds a Cohen real.
متن کاملComplete Ccc Boolean Algebras
Let B be a complete ccc Boolean algebra and let τs be the topology on B induced by the algebraic convergence of sequences in B. 1. Either there exists a Maharam submeasure on B or every nonempty open set in (B, τs) is topologically dense. 2. It is consistent that every weakly distributive complete ccc Boolean algebra carries a strictly positive Maharam submeasure. 3. The topological space (B, τ...
متن کاملSpecial Subsets of Cf(µ) Μ, Boolean Algebras and Maharam Measure Algebras Sh620
The original theme of the paper is the existence proof of “there is η̄ = 〈ηα : α < λ〉 which is a (λ, J)-sequence for Ī = 〈Ii : i < δ〉, a sequence of ideals”. This can be thought of as a generalization to Luzin sets and to Sierpinski sets, but for the product ∏ i<δ Dom(Ii), the existence proofs are related to pcf. The second theme is when does a Boolean algebra B have a free caliber λ (i.e. if X ...
متن کاملMaharam measure Algebras
The original theme of the paper is the existence proof of “there is η̄ = 〈ηα : α < λ〉 which is a (λ, J)-sequence for Ī = 〈Ii : i < δ〉, a sequence of ideals. This can be thought of as in a generalization to Luzin sets and Sierpinski sets, but for the product ∏ i<δ dom(Ii), the existence proofs are related to pcf. The second theme is when does a Boolean algebraB has free caliber λ (i.e. if X ⊆ B a...
متن کاملComplete Ccc Boolean Algebras, the Order Sequential Topology, and a Problem of Von Neumann
Let B be a complete ccc Boolean algebra and let τs be the topology on B induced by the algebraic convergence of sequences in B. 1. Either there exists a Maharam submeasure on B or every nonempty open set in (B, τs) is topologically dense. 2. It is consistent that every weakly distributive complete ccc Boolean algebra carries a strictly positive Maharam submeasure. 3. The topological space (B, τ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 158 شماره
صفحات -
تاریخ انتشار 2009